package dpll.ast;

import dpll.fnc.IVisitor;

public class NodoDisyuncion extends NodoOpBi {

	public NodoDisyuncion(IASTNode pIz, IASTNode pDc) {
		super(pIz, pDc);
	}

	@Override
	public <T> T accept(IVisitor<T> visitor) {
		return visitor.visitDisyuncion(this);
	}

	@Override
    public String toString() {
            return "(O " + GetIz().toString() + " " + GetDc().toString() + ")";
    }

}
